python ucoresymexec.py models.Context > results/Context.result
echo ===============Context===================
python ucoresymexec.py models.CURRENTPROCESS > results/CURRENTPROCESS.result
echo ===============CURR===================
python ucoresymexec.py models.HardwareRegisters > results/HardwareRegisters.result
echo ===============HardR===================
python ucoresymexec.py models.Lock > results/Lock.result
echo ===============Lock==================
python ucoresymexec.py models.MailBox > results/MailBox.result
echo ===============MailBox===================
python ucoresymexec.py models.ProcessDescr > results/ProcessDescr.result
echo ===============ProDesc===================
python ucoresymexec.py models.ProcessQueue > results/ProcessQueue.result
echo ===============ProQ===================
python ucoresymexec.py models.ProcessTable > results/ProcessTable.result
echo ===============ProTable===================
python ucoresymexec.py models.PROCPRIOQUEUE > results/PROCPRIOQUEUE.result
echo ===============ProPQ===================
python ucoresymexec.py models.Semaphore > results/Semaphore.result
echo ===============Sema===================
python ucoresymexec.py models.SemaphoreTable > results/SemaphoreTable.result
echo ===============SemTable===================
python ucoresymexec.py models.UserLibrary > results/UserLibrary.result
echo ===============ULib===================
